< 1 >
Théorèmes d'incomplétude
Les deux théiorèmes d'incomplétude de Gödel prétendent que des affirmations peuvent être formellement indécidables.
Explication
Le premier théorème d'incomplétude stipule que tout système formel que est cohérent interne, contient des affirmations pour quelles on ne peut pas prouvé qu'ils sont vrais ou faux.
Le second théorème d'incomplétude, affirme que dans un système formel, on ne peut pas prouver qu'il est cohérent interne.
Intelligence artificielle
Les théorèmes d'incomplétude signifiquent, que l'intelligence artificielle n'est pas possible parce que des ordinateurs sont toujours des systèmes formelle finis. Probablement, l'intellect humain est aussi restreint comme ça.
HistoireEn 1930, le mathématicien autrichien Kurt Gödel a formulé ces théorèmes. |